1. Formal methods in databases and software engineering :
Author: V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
Classification :
QA76
.
9
.
D3
V735
1993
